Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
301	The Monad.Reader Issue 16 by Aran Donohue and John W. Lato and Louis Wasserman May 12, 2010 Add to Reading List Source URL: themonadreader.files.wordpress.com Language: English - Date: 2010-05-12 14:00:40 Models of computation Software engineering Computing Nondeterministic finite automaton Deterministic finite automaton Regular expression Monad Finite-state machine Regular language Automata theory Formal languages Theoretical computer science
302	Applying Dataflow and Transactions to Lee Routing Chris Seaton, Daniel Goodman, Mikel Luján, and Ian Watson University of Manchester {seatonc,goodmand,mikel.lujan,watson}@cs.man.ac.uk MULTIPROG 2012 Add to Reading List Source URL: www.chrisseaton.com Language: English - Date: 2013-03-27 03:32:35 Models of computation Theoretical computer science Dataflow Speedup Algorithm Computing Parallel computing Computer architecture
303	JMLR: Workshop and Conference Proceedings 34:94–108, 2014 Proceedings of the 12th ICGI Very efficient learning of structured classes of subsequential functions from positive data Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Models of computation Theoretical computer science Finite state transducer Metalogic Symbol Structure String Automata theory Formal languages Mathematics
304	Akka Stream and HTTP Experimental Java Documentation Release 1.0-M3 Typesafe Inc Add to Reading List Source URL: doc.akka.io Language: English - Date: 2015-02-06 08:18:57 Computer programming Inter-process communication Models of computation Computer data Stream Twitter Pipeline Computing Concurrent computing Programming paradigms
305	Synthesis for Regular Specifications over Unbounded Domains Jad Hamza∗, Barbara Jobstmann†, Viktor Kuncak‡ ∗ ENS Cachan, France † CNRS/Verimag, France, ‡ EPFL, Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-08-02 10:05:45 Mathematics Formal methods Nondeterministic finite automaton Linear temporal logic Finite-state machine Function Symbol Büchi automaton Automata theory Models of computation Theoretical computer science
306	Models of Computation Lecture 4: Nondeterministic Automata [Fa’14] Caveat lector! This is the first edition of this lecture note. Some topics are incomplete, and there are almost certainly a few serious errors. Please Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:05:08 Applied mathematics Nondeterministic finite automaton Powerset construction Deterministic finite automaton Regular expression Finite-state machine Regular language Symbol String Automata theory Theoretical computer science Computer science
307	The Grouped Author-Topic Model for Unsupervised Entity Resolution Andrew M. Dai and Amos J. Storkey Institute for Adaptive and Neural Computation, School of Informatics, University of Edinburgh, U.K. {a.dai,a.storkey}@ed Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-09-27 08:11:22 Statistical natural language processing Stochastic processes Machine learning Statistical models Natural language processing Latent Dirichlet allocation Dirichlet process Plate notation Mixture model Statistics Probability and statistics Probability
308	Models of Computation Lecture 3: Finite-State Machines [Fa’14] Caveat lector! This is the first edition of this lecture note. A few topics are missing, and there are almost certainly a few serious errors. Please send Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:05:05 Computer science DFA minimization Finite-state machine Deterministic finite automaton Nondeterministic finite automaton Automata theory Models of computation Theoretical computer science
309	Models of Computation Lecture 1: Strings [Fa’14] THOMAS GODFREY, a self-taught mathematician, great in his way, and afterward inventor of what is now called Hadley’s Quadrant. But he knew little out of his way, and Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:04:59 Combinatorics on words Theoretical computer science String Constructible universe Function Substring Μ operator Pumping lemma for regular languages Mathematics Formal languages Combinatorics
310	PDF Document Add to Reading List Source URL: www.brics.dk Language: English - Date: 1996-10-15 05:57:12 Models of computation Type theory Data types Programming language implementation Logic in computer science Denotational semantics Partial evaluation Programming language Subtype polymorphism Software engineering Computing Programming language theory

UPDATE